Might only take some time to release the name. I think if you change your username, you have to wait a month before you can change it again, or even back to the old name.
There might be a similar rule in place here, for example if someone's account gets deleted without their knowledge, it gives them time to recover it.