Is this constructor used? Seems like we can delete.