Update instructions.h