Hah, I can see exactly what you mean - to the extent I had to try it
What is written is true, moving the mid-tones slider to the left does lighten an image.
I tend to think of it as saying "I'm moving this to
here and I want
that to be "
the new" mid tone point", so in the output, it puts that in the middle, which stretches the left hand side (of histogram) and compresses the right, making the picture appear lighter.
Have a play with the Black point sliders on both Input Levels and Output Levels scales, it may help you get a better grasp of what is being done when you hit the OK button.
Make sense?