Fixing bug in the documentation.