Some doc fixes.
Trying to fix some Git screwups :(