Why a public property when you also add a getter?