Found (maybe) the fix for PHP5.3