Update mine.el