On Sat, 2 Jan 2016, Sandro Cumerlato wrote: > Hello Michael, > fix is OK, thank you. > > I notice only a missing "white space" if compared to previous output. > > Please review attached patch. Applied the patch, thank you! rev. 32832. Michael.