Patch #1517490: fix glitches in filter() docs.
1 file changed