Corrigendum to ‘‘Dual-Comb Ranging” [Engineering 4 (2018) 772–778]