small doc/style fixes