Fix contract for make-string-port-filter in docs.