And you would be right. There shouldn't be two spaces. It's some old convention from typewriter times. Nowdays space is not fixed width. It's fluid and it's job of the system (browser, graphic editor) to make it right width.

In fact first thing book designer / publisher will do when they get text from author is run it through cleanup script to fix all mistakes and inconsistencies and one of those will be double+ spaces.