do we need the above?  it seems like the auto-generated setter would be good for us.