Fixed a tiny error in the documentation