Fixed a Travis-CI config issue