Fixing the PHP bug on serializing the SPL ArrayObject