delete some dead code (yay!)