MORTEVIELLE: Better fix of CID 1063212. Thanks wjp for pointing out.