Removed duplicate #include