Delete some very old, leftover code.