Update ec.h