Fix headlines

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