<p dir="ltr"><br>
> I just realized that the error output is empty, so my proposed change will not work.</p>
<p dir="ltr">It works, but it's redundant. I don't really care either way, so I checked in the original patch.</p>