gdb server fix, indentation