Corrected asymptotics for a multi-server queue in the Halfin-Whitt regime | Synapse