Fix compilation for idea 13