Editor’s note (5-28-2016, 1:36 PM EST): This article has been amended to add a technical correction....
