I agree that it's a bug, but I don't think we should change the behavior (caveat: I've never used this debug display). Feel free to fix the bug :wink: