minor travis fix