There is a bug in the book