minor fixes before 3 p.m. 10/21