Segoy, es cierto lo que dices... pero no veo ninguna forma de solucionarlo. De todas maneras es un error que no tiene mucha importancia

crackjp, no seguí ningun tutorial, sino que experimente directamente editando el menu.ml con el block de notas.

Salu2