Fixing Travis integration