Add and remove spaces in X.Y.

The book doesn't agree with all of these changes, but this HTML version
was almost completely consistent in using spaces in the names of people,
and not much anywhere else. It is now even more consistent.