Actually fix examples in the comment preceding do_lease()

Signed-off-by: Olaf Kirch <okir@suse.de>