Did you open a bug report with the said document? You might never know, the corner case with your specific document might be fixed by a willing developer.