[g42gregory]

Thank you for the good point! I edited the comment.

[fnbr]

I like your edited version!