DMKI: more minor corrections