Correct JL_PKG evaluation