Travis minor fix