Slight revision to debug printing-