Fix a couple of PHP warnings.