Fixes name of Virgo server in Virgo RAP Server description