Fix PHP notice recently introduced