Mapleader has been removed.