highlight fix for options on issue #413