formal changes