Suggested Corrections for "A Principal Ideal Domain That Is Not a Euclidean Domain". - Abílio Lemos; Pedro H. A. de Oliveira (Am. Math. Mon., 2018)