minor simplifications in dLdK