Remove unused code.

The removed code never has a chance to be executed. There is no
need to keep it either for "historical reasons" or "future reference".