Fix some very small typographic errors