Update ec_stats.h

Update from 'master'.