Dev: fix PHP notice undefined var

Dev: may be leftover from 8b35c443107b757158d27fa1e91af5de360f724b