Fixed minor travis issue