Minor changes to the documentation layout