Update ben.h