Fix minor PHP notice