It is good that a correction was printed in this case (and I wish this happened more often), but in my opinion that was all that was needed.
Es bueno que se haya impreso una corrección en este caso (y me gustaría que esto pasara más a menudo), pero en mi opinión era todo lo que se necesitaba.