In the tunnel, a man was installing a safety rope and there was a thump.