This is now dead code.