Fix PHP notices #1511