Bugfix in RestrictedElement constructor.