close() would suffice.