Update hoffman.h