corrections, and a minor update