Does it look correct?

Bye, Reiner.

[1] The patch is for Emacs' CVS.
-- 
       ,,,
      (o o)
---ooO-(_)-Ooo---  |  PGP key available  |  http://rsteib.home.pages.de/