small fixes for Travis CI
small fixes for Travis CI