Correct Travis configuration.