Html: resolving name clashes for some constructors.