Lwt_log

do no merge
Oh indeed, I didn't even notice the difference, thanks for the catch.