Dead code removal.

The two preceding lines can go also, I think.