Fixed minor bugs in doing CI