converting some getters to properties