.travis.yml: Minor clean-up