Correction: type conversion