fix weird CIs