is his shell okay? It seems dented on top I don't know if that's a thing with African spurred tortoises

He has shell damage from metabolic bone disease that he had in his youth, before we acquired him.