Minor update out; fixes typos and some embarrassing mistakes and glitches.