Minor updates to reflect revised pretty printing API