Review fix: Add NOTREACHED and fix indentation.