I actually don't know what the correct behavior should be. However, BUG: sounds like a good idea, and I'll add the bug number I added to the issue list.