Thanks for making us aware of this issue. We had previously put in a fix for this, but it seems to have returned. I was able to duplicate the error you are seeing.
We will be filing a bug on this and it should get fixed soon.
Thanks again for bringing this to our attention!
Online Support - Systems & Tools
Texas Instruments, Inc.