More doc/style fixes.