Fix other PHP issue