Correcting a bug about non-ending of the tweet streamer