Mostly a typo fix. Posted this version.