github-ci: fix small typo