manual: fix typo in the defctype node