remove more occurrences of EL

I think there should be no more unprotected ELs in the implementation.
(The one in el_check has a trivial-to-prove side-condition.)