Removed a double-include to fix the build