You're right. I was testing with the wrong settings (which don't show this bug). It is now fixed in rev 1401.
You're right. I was testing with the wrong settings (which don't show this bug). It is now fixed in rev 1401.