#77 minor changes in GDB