Fixing Travis-CI