Misc updates to C* notes.