@greut good point. I have added your comment to #263.