fix wrong example from #17318