Avoids warning about some PHP nonsense.