corrected code transformation