Two typos spotted by yanok in ex. 3.79 and 3.80