Typos in Luca's slides