Why do you want to remove the getter? The way I did it was in line with other modules like ZFC.