[PATCH] Re: another break caused by changes in easymenu