Version 1.10.2: bug fix