Make ppr give the same output as for HaRe