Fixed a bug in documentation