Updates for some govdocs files