Updates to happy eyeballs

minor nits