Fixing the Travis config.