Remove dead code

This code was commented out back in aa6d247. I should have removed it then but apparently I forgot to do so. Oops.