Minor Fix in Documentation
PHP 5.3 compatibility fix