Minor update to the documentation of the `<</2` control construct