Fixed php style issue that arose with system updates