Correct travis properties