I'm not entirely sure why this is necessary. I hope it's right.