Outdated code example correction in section 10.3.6