Add missing #include per bug report