annotate some getters as properties