Fixing Travis-CI config file #5