Avoid a type mismatch warning.
Add a missing include.