Minor changes to formatting of docs