minor formatting and doc additions