Fix formatting of some documentation