3 ms·

I assume one of the editors will fix it at some point... or you could resubmit.

• swombat 17y ago
  It's already accumulated a fair few comments, I don't think resubmitting would be appropriate.