Fix minor bugs in run-ci