Misprint in example