fix up some docs and formatting