Is this constructor used anywhere?