This is implied. I don't think we need this constructor.