Tiny change where I saw a getter used in one place but not another equivalent one