small fix to ppc funs