Fix some mistakes in 'github/HowToUse.md'.