Tiny change to CI config