Fix 'assert to use ppr-main, which takes indentation

Cosmetic changes:
 - Remove ^L characters from util.arc