Fixing minor bug in run-ci