bugfix: uninitialized value was used in WS_Release()