Following publication of the original article [1], the authors reported the name of R.J. Baatenburg de Jong was incorrectly tagged in the HTML version of the article.