[herkhorse]

You're right, though this was more of an embarrassment to the pga officials than to Johnson, and since it was the last hole of a major championship they could have handled it better.