Some more doc/style fixes.