assorted nitpicks of Exercise 3.24 solution

none of this is terribly important. but I think it's a nice problem, and I saw room for improvement in the solution.