translate into English for Travis CI.