Fixing bug in docs