Fixing up debuggers