Re #8334. Removed unused constructor.