Fixed a bug in the documentation