Pedro,

thanks for review. I'm sorry, but I'm unable to commit the patch, I have 
no write access to GDB. Could you commit this one for me?

-Maxim