added getters and debugging info