fix bug in my modification of DesugarStreams