fix PHP notices