Denys Vlasenko wrote: >The location you are touching here is the same in dash. >Looks like it needs to be fixed there as well. >Can you submit this fix to dash? Then I'll port it from there, >and code will stay in sync. I submitted the same fix to the dash mailing list shortly after sending it here. No response yet. Ron