fixed a minor mistake in calling Get_header_value()