#6718: fix example.
1 file changed