Insignificant typo corrections.