Correct Travis build