Great work, EricC! I have put a note of this bug & solution in the IDE source code so as to correct this problem for the next IDE release. Now that I'm home and out of work, I guess I can finally find time to put out the IDE update I have been neglecting.
Thanks for your hard work discovering a solution to the problem.
- Dav