Good one! I've updated the manual.

Thanks for the report!

Ruud