adding some getters