Fix bug #20031

See https://pear.php.net/bugs/bug.php?id=20031