minor fixes in sec 1-3