не сработало. Да и проблема не только с этим номером, а править - напряжно.
Вообще техдок очень гдлючен сам по себе и в нём огромное количество ошибок и кривых кросов. Поэтому это нормально. Жди обновлений. База техдока какая? Сейчас уже 2 квартал 2014 года появился.