I no longer believe this is necessary.