Notation fixes and additional comments in prose