Some docs copyediting & formatting