Fixed a bug in the docs