Issue turned out to have already been fixed as editorial.