Fixing Travis-CI configuration file