Cosmetic changes. Removed include vector.