Should we add that in a `XXX` comment?