Fix typo in eliomc.ml