fix on critical section identification