Fixing bug in docs.