Typo in 14.2p5 code example