Small doc and style fixes