Correction on initialContextSetupProcedureHandler