style fixes, doc updates