small changes to ocp.tex, etc