remove commented code from PrettyPrint