Small corrections to Ex01