Added missing header. Reported by Dennis Herrmann.