removed a duplicated #include line