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