Bug report: File a bug.