Fix Travis CI config syntax.