Unless something has changed, I seem to remember that if a player was released while under contract, he'll tell you he only needs the minimum on the negotiation screen.
That being said, the technical term for dumping an arbitration eligble player is to non-tender (as in not tendering them a contract), not release, so they could change that status to be more clear, but I don't see it as a necessity.