Driver now pretty-prints.