typo in proceeding