correct wrong travis configs