compilation fix for IJ13