Do we need to add a default constructor here?