PHP5.2 bugfix