Transcriber’s note:

Minor typographical corrections are documented in the source code.