Typo in page 48 of the IP course