Fixed travis-CI config file