Improved style in reverse Prüfer