Minor fix to squelch possible PHP warnings