typo: critical region