Conform constructors to the strict 'redef' rule.