fix another weird JDO issue