More doc fixes by Tom Bork -- thanks :-)