Fixed PHP5.3.x compatibility

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