Small corrections to make slides valid.