more minor formatting and punct