add missing header

先日の修正の追加です。ヘッダが一つ足りていませんでした。