Thanks for the explanation. Do you think a code comment is needed for this?