improve exercise vignettes, typos, ...