Remove dead code

Trivial removal of dead code