Minor changes to CI script