Further work on documentation
Some improvements so Latex will build