Minor typographical corrections are documented in the source code.