Correction in call print_pretty