Add missing include (#4052)

1 file changed