More notes/typos