Minor problems in LaTeX documentation and C code fixed

I spotted several issues while looking at the ProofPower. Patches included.