tweaks to formatting of documentation