At time, a written contract does not correctly state the agreement already made by the parties. When this occurs, either party may seek to have the court correct the writing to state the agreement actually made. This rewriting is known as: