Correction to "Minimum Propagation Delays in VLSI"