Cleaning up documentation for publication