Turns out that changing mapleader had way too many side-effects...