no-highlight added to options

Issue #429