fix const getters