Minor fix for php tag