Fix a warning on PPC.