some small document updates