I handled this a totally different way, and wonder if it is acceptable.
I went to the “searchform.php” file and moved the “*/” following the comments at the top to the bottom, so that the header is calling an empty file.
Is this totally a bad way of handling things?