Fix bug in gutter/linenumber syncing