bug fix, priorities of par and seq were reversed in pretty printer earlier