Fix lack of inclusion

It doesn't work w/o that change.