Added some getters