Fix a typo in the user guide introduced in the previous commit.