A small typo correction.