a few getters added