Circled corrections.

Special alterations made after the type has been corrected are generally encircled on the proof in order to call particular attention to them.