Very minor edits to the beginning