Thanks for the hint! I will insert an update box at the beginning of the article.