Fixed bug in the documentation