fa924065ca
This is important for the case of the enabling new inference in 1.3 (so that there is no error in certain cases)