removing dead code found by rulzor, ref #2