Fix headlines

<!-- folding --> で記事を折りたたむ処理がうまく動作していないバグを修正した．
修正後，正しく動作することを村田，岡田，池田の３人で確認した．