Fixes #52. typo in PPC.