Small fix to the CI command