update name of IVOA WG