Hi! Pedro Alves, true master of GNU ChangeLog syntax as well as quick patch review. Thanks! Thusly changed and committed. (And I have no idea how that pasto happened.) Grüße, Thomas