Correct notice with PHP