Fixed a typo in Travis-CI config