On Thu, 2012-08-09 at 18:56 +0200, Thomas Meyer wrote: > Hi, > > some easy fixes. > > with kind regards > thomas Thanks for looking into this! Looks good to me, OK for HEAD, although a ChangeLog is needed.