Fill in the property getters.