Proof that check_errors() is sufficient. [originally from svn r8813]