Remove dead code (oversight in prev. commit)