typo in proc check