removing debugging code causing #12