Minor typo fixed in comments.