doc and style fixes