Aloha all,

This patch to the manual fixes a typo.

All the best,
Tom