<Leader> replacement should be case insensitive

The <Leader> replacement was incorrectly doing case sensitive
replacement instead of case insensitive replacement.

closes #860