Kaivan Kamali Downgraded failing tools. Fixed typos in slides.