A typo fix and redundancy removal.