manual: fix a broken example