small fix in ditto