It would be great to add a comment documenting that.