Minor mistake from previous travis config