Fixed a bug in the documentation.