small tweak on ppcoind