instruction-factory: Forgot header inclusion