Minor fix for php warning