| is needed before <leader>