- minor cleanups in "pf.if"