Do I miss something, or is this constructor unused?