added some getters