Minor update to Boot.eli.