Steven Bosscher wote: >> This patch corrects these things. Regression-tested. >> OK for trunk? (I will not be able to commit for a few >> days due to business travel, unless somebody is _really_ >> fast :-) > > Looks OK to me. Fast enough for you? Yes indeed. Committed as rev. 180063. Thanks a lot! Thomas