What was that about triple checks on national anthems? Do we need same for flags?

This is the flag of the Democratic People's Republic of Korea (AKA North Korea)

Note the red star, so often a symbol of communist countries upon it.

This is the Republic of Korea

Not to be confused for the above.

Dear LOCOG make sure you don't mix them up again.