I agree that double close should return an error but it's not worth changing the API for it.