Fix PHP error introduced in fd241e8