HOWTO: fix double words typo