abstract7: Fixing typos.