| is needed before <Leader>