We decided to remove this property since it is not used anywhere anymore.