Fix some PHP notices