The umps have leeway there, not sure if Kirk just didnt say anything to the ump about it, but there was a memo sent out by MLB before the end of spring training regarding that kind of thing.
Shortstops
Nick Ahmed (34)
Tim Anderson (31) – $14MM club option with a $1MM buyout
Elvis Andrus (35)
Orlando Arcia (29) – $2MM club option with a $100K buyout
Javier Baez (31) – can opt out of remaining four years and $98MM
Brandon Crawford (37)
Paul DeJong (30) – $12.5MM club option with a $2MM buyout
Isiah Kiner-Falefa (29)
Adalberto Mondesi (28)
Miguel Rojas (35)
Amed Rosario (28)