possibly fixed Travis CI tests