Thank you for your bug reports and patch! 109514 and 9678 have been 
closed, closing here too.

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354