Fixes a bug in search_engine_part_6.html.