Small fixups off JGL.Debugging