heh… I have a bad habit of fixing things in trunk but forgetting to release them publicly. Looks like this was fixed several weeks ago, but never released. I’ll see about making a new release tonight if I can.