It was subsequently repaired