added in a getter