theory: some typo fixes