Remove dead code.

Thanks to Sean Silva for noticing it!