A small code simplification.
More Travis CI config.