travis: minor fix