L1.2: bug fix