Version 1.42: bug fix