Correct Travis-CI setup