Added debug printings