Making typos in the CI config. This should really be my last commit of the night.