Typos corrected based on yumingzhe's comments.