Fixing Travis.ci