coverity 181576: remove dead code to keep coverity happy