added a few getters