Set <Leader> to , by default (it is customizable)