Documentation: improve formatting