Fix an error in doc for howto_streaming_extractor. Closes #69