Fix #6 (compatibility with PHP 5.3.3)