Fixing lameness in error-checking code