Update operators.h