Minor fixes for typographic errors