Fix error in travis-ci