Minor fix

I forgot that strings are "" in PHP.