fixed bug that make impossible to use the linter if gutter_marks are disabled. Fixes #23