[Fix #73] Ignore errors in the checkdoc checker