[MatrixTN]

Yeah, I think that's an oversight. As already stated, the numbers in question were retired by the Expos but the Nationals brought them back into circulation. The game thinks they're still retired.