minor updates for Travis CI