Update the post with a correction to the problem discussed.