Do these two attributes need to be public?