I kept reading and found another trivial typo.