minor travis change