fixing Travis CI tests