Differential field notation corrected