Fix issue #199

PHP5.2 compatibility