Update safety_specs.txt