Remove now-unnecessary #include