![](https://secure.gravatar.com/avatar/31ac7e059acc128bbe07bb342085a1a6.jpg?s=120&d=mm&r=g)
20 Nov
2012
20 Nov
'12
4:20 p.m.
Hm, it seems like my general purpose search engine missed an existing report about the same issue, for which Aditya provided a fix. (http://www.mail-archive.com/ntg-context@ntg.nl/msg66002.html) So there are now two fixes. Sorry for the noise if mine is nonsense :-)