LOGman documentation

le -> let