Some minor and (hopefully) uncontroversial corrections.