formal corrections