Doc: improve formatting