Found a bug in the debug output