Compilation notes brought up to date