style and documentation updates