Fix a couple PHP warnings