a few more manual edits to the generated docs