pretty-printer API changed