This should no longer be needed. I'm leaving it in the event that it is, however.