Hello Yes, we definitely do fix bugs in Bugzilla, but usually only just before we bring out a new major release. If there's something urgent it helps to email this list. I have fixed the bug you mentioned. Eric