gtksourceview3 sample: add a missing space after comma