Corrigendum to "On strategy-proofness and semilattice single-peakedness" [Games Econ. Behav. 124 (2020) 219-238]