If you’ve come across something that looks like a bug, please submit a bug report.