Fix formatting of docs.