A note on "A minimal congruence lattice representation for ${\mathbb{M}}_{p+1}$''

We reprove a theorem of Bunn, Grow, Insall, and Thiem, which asserts that a minimal congruence lattice representation for ${\mathbb{M}}_{p+1}$ has size $2p$, and is an expansion of a regular $D_{2p}$-set.