Made header::is_name_equal_to const.