Some updates to the notes and translation