Fix bug due bug detected on Jenkins server.