add comment for evil-leader workaround