small fix for Travis CI