Bugfix for debug output