On Feb 22, 2013, at 15:18, Kok-Yong Tan wrote: > So, should I file a bug or have one of you already done so? I didn't see a bug report about this so you should file one.