Remove dead code

This code has been dead since b7935a1b79fa2dee944d464273356dd3.