Fixed yet another minor travis issue