$1 minor edits