fix a couple of typos to make building on ppc work again