removed debugging kludge