JPF fix