Fixed documented example broken by 9ea1ae719fd04c7dc8387df4412512f6afca57a1, #889