Make correction plugin case-insensitive

Makes the correction use an (escaped) case-insensitive regex instead of str.replace