Added missing WAssert