As far as I can tell, this isn't used anyway.