It would be great to make it explicit in an inline comment.