In the original article John F. Thompson was inadvertently omitted as an author. The author list is updated as shown in this correction.