Repair another bug in s23_get_client_hello: