Why are there always two spaces after a dot?