removed a typo in gdb script tail