Minor edt.el simplification.