well, thank you for that bit of knowledge, and, secondly, looks like a perfect time to fill a bug report...
that should be fixed, of course!