Added a simple getter here