Correction to A note on the Entscheidungsproblem — scholarly article published in Journal of Symbolic Logic