Boogie now says '1 error', not '1 errors'.