Fixing Travis-ci