do we know why? If not, maybe add a note saying that this is a temporary, blind workaround.