Some final documentation updates