documentation and style fixes