Minor mods to Doc