Gah; add another missing header