Bugfix for the PHP5.3 compatibility