Better TravisCI test coverage