Actually, the previous fix wasn't needed, since unref() would (normally) never be done twice