more small updates to the docs