Fix CI; update typo
Fix CI