Small typo under Procedure step 2