Fix PHP notice #2269847