minor doc and style fixes