Misprint in the example