Types correction