Adding annotated getters