minor edits; no effect on functionality