Removed old include forgotten in previous commit