> My bad. I fixed it a few days ago, but didn't submit because I was > planning other submissions. Here it is anyways. Thanks Vladimir, it has been commited to the 3.10 branch.