Fix example error in 8.1