fixing bug in docs