gtksouceview3: add missing "-"