Fix real reason of the bug

Previous explanation is wrong, the source of the bug was https://bugs.php.net/bug.php?id=52971