Issue #88: Adding some debug information