Small php strict fix