remove outdated code.

this was forgotten in e80fc181aea84ec9a0b26c61ed49c18a3410143d