Update backward.h