Appel, A. W.; Bertot, Y. Corrigendum: C Floating-Point Proofs Layered With VST and Flocq. JFR 2020, 13.