v1.2

few bugs in conversion to l4 from l3