FWIW I'd classify that one as a copy-paste error, but in any case it's /done.