No idea why this is needed. I think we should remove it.