Some documentation updates