No, more likely an over-zealous copy/paste.