Typos, corrections, etc. for the C++ Annotations version 10.7.2