Fixed another accidental Travis error... again