hopefully fix htmlize_error_lines() to handle a case where the first error seen is in system headers
remove incorrect comment