workaround for bug in the document checker