streaming interface, fixes #5