Comment by norvig

Good point, dmurray. It was a subtle point here, and probably I should have commented on it.