a47ce97e79
properly, and doesn't hurt the other algorithms. PR: 28991 Submitted by: Yoshihiro Koya <Yoshihiro.Koya@math.yokohama-cu.ac.jp>