Bug fixing: error in docs