Fixed minor travis bug