Sorry for being slow to reply to this one. It has been a bit hectic here before the holidays. But now I’m on holiday and have time to reply… hmmm wait a little… 
Anyway, as people here already commented, this was an error in an earlier version of the manual. It is corrected in the current version.
4 Likes