More minor edits to elCompactness