Aaah, right, I see, wasn't immediately obvious.
Although @toolslive might disagree, I'd change 101/115 into `else (* is_empty lease_expire_waiters *)` to make this somewhat more clear (the 'if' block is fairly big, not used to such large contexts anymore).