Minor typographical fixes.