Bug in the documentation of (<**>)