add trivial patch for 13371