It doesn't look like we actually need this. I've removed it.