Yes, you're right. It was the 3rd line there that caused the issue.
I'm also surprised that repair didn't pick it up, but also, neither did ED support on the ticket I raised. When I asked about those errors, I was told it was 'normal'.
Oh well, all working now anyway.