PHP 5.3 fix

Change-Id: I3f4eea6ac4e789c981990166525ee48a8316baa2