Minor change to output error message correctly in has_no_error