removed debugging code; works!