fixing bug in doc