> Shouldn't the last line say "in GDB 7.2"?

Good catch, fixed thusly:

-- 
Joel