correction of (some) typos