Removed debugging code\; first production use\!