Delete this dead code, here and above.