add missing header inclusion