minor syntax repair in example