Some type correction