removed dead code

this appears to have been forgotten in
99a3d574f0b478546bde56994c39d4a9324caa12