use default getters