Minor improvements to the documentation of the `::/1-2` and `^^/1` control constructs