Add a comment about why this is needed, now that we know that it's needed.