Is that line (admindb.py, line 77) supposed to say Header instead of eader ?

Apr 29 22:33:41 1999 admin: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ admin: [----- Mailman Version: 1.0b11 -----] admin: [----- Traceback ------] admin: Traceback (innermost last): admin: File "/admin/mailman/scripts/driver", line 112, in run_main admin: main() admin: File "/admin/mailman/Mailman/Cgi/admindb.py", line 77, in main admin: doc.AddItem(eader(2, "Invalid options to CGI script.")) admin: NameError: eader