Fix typo in Travis CI config