Going over by a little bit seems like it would be the worst plan. I would guess they hit a fork in the road and had to decide between going big(Nimmo, Rodon, etc) and going over or trying to stay under.
Jansen+ for Alek Thomas and signing Taylor Rogers only adds about 7 million based on MLBTR projections(3.7 Jansen money out, 10 million Rogers money in, pre arb Thomas in)