Why people leave a space before punctuation in texts