Minor typo-fix.