fix typo in gutterLineHighlight option setter