Fix a typo in the instructions