Comment by gergo_barany

I see, that's indeed an important distinction. Thanks!