I'll add a comment to clarify this (this is explained in other comments in the file but it would make sense to clarify it here as well).