fixed a build error on Travis CI