remove dead code spotted by CID1222466