HOWTO: fixup numbering