Fix for manpages.
proofs work in progress