Fix small PHP notice