removed dead code, as per Ben's request