Oops, that is indeed dead code though. I will bury it.