[#538] removed dead code