Bug fix: missing required include.