Revert "Deleted missing include"

This reverts commit 621e6337bd791ce3816a8fa2f5a1cd32d45f3dec.