fix typo in Travis CI config