#1713041: fix pprint's handling of maximum depth.
4 files changed