fixing a ci bug (typo in configuration)