Fix two PHP warnings