Delete some old out-commented code.