#399 - possible fix for incompatibility with PHP 5.4+