another minor travis modification