OK, this property is not meant to be mutable, and there is a getter for it currently, so it is sure that we can make it private