Possible bug in easymenu and/or menu handling?