minor improvements to docs and style