[Workers repairing cave-in at Market and Montgomery streets]