Eliminate unnecessary #include