Update some trivial files.