.travis.yml: minor fix