Change de-highlighter. Hopefully closes #64.