Added a missing include.

This silences a warning, which is always nice.