I see. This is an interesting detail that would look good in comments.