This doesn't seem to be called from anywhere. Can we delete it?