fixed a bug in the options introduced by last ci