Corrected EOF detection in `mp-less`.