minor edits for posterity