A few typographical fixes for CSP 1.0 and 1.1