added a getter