PHP-1276: this hardly could ever had worked