KoRE: improved debug output, further bugfixing