Bug fix in DE/mid/k