fix travis-ci bug