I have a patch that probably fixes the issue (see attachment); but do not know where to submit it for review. Is there a guide for one-off contributions like this? You did the right thing by sending email here. Thanks much for the bug report and (especially) patch! I will apply it shortly. -k