any reason to have these as public, instead of private with public accessors?