fix a bug (*0.5 => +0.5 in ppm.h)