Is this #include neccessary?