if a user is inactivated but has login access that account is removed from the full access user count correct?

It's supposed to work that way, but I find the user count often doesn't decrease correctly unless you load the record to make them inactive as opposed to activating/inactivation from the list