ppc: typo and formatting fix