improved debugging possibilities by defining getters