Doc adjustments in WITH-DICT