The comment could easily be deleted. You should probably reference the function from which we pulled the code, and a line number (ie. See views_theme() in views.module, ~ line 65).