a few documentation updates