Don’t try to render the repair indicator if there are no repairers. 

Fixes #5823.