On 24/02/2017 00:34, Mandy Chung wrote: >> On Feb 23, 2017, at 4:32 PM, Remi Forax <forax at univ-mlv.fr> wrote: >> >> Hi Mandy, >> I prefer that semantics. >> >> In the code, you can remove the ".stream()”. > Good catch. I will remove it before I push. > > Looks okay to me too. -Alan