Minor damage, no work needed.

Thanks. I had thought it should be "treated", but on further reading found that the best practice these days is to let the tree heal. The treatments can actually make it worse.