ppc: formatting fix