[Fix #752] Use a fully-qualified let in pretty-printing