correção de um bug no lef