Fixed another dumb error in travis config