The point of the text was to give an example of a coordination problem, not conclusively prove AA or something. For me the example works.