That's unfortunate. I'm surprised they don't have a check for that in their test suite. You might want to file a bug report.