Fix formatting of docs