This article has been updated since it was first published at 9 a.m. this morning to reflect that the leak has been fixed.