Minor detail deleted