include correct header for "last minute just-in-case defensive addition
that's too trivial to check"