fix PHP notice