I have (At last) submitted a fix for this problem. Sorry about the delay, and thanks for the useful reports.