this trivial patch fixes a duplicate declaration introduced in de009b76d60bdeb88f1d812ac755ae225805a071 Regards, --Christian