Fix a typo in my last change.

doc/user_guide.texi:
	Fix a typo.