bug fix in CI machine.