Might want to revisit this: BevapDin changed that in his PR.  (Was overzealous global-checking, apparently.)