It's doing more than notification. It sets the deallocated bit.