Various doc and style fixes.