Fix typo in Travis-CI config.